función proposicional

función proposicional
Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables.

Por ejemplo, "x fue padre de y puede ser entendida como resultante de "Adán fue padre de Abel. Por lo tanto, una función proposicional no tiene valor de verdad; pasa a ser verdadera o falsa sólo cuando sus variables libres son reemplazadas por constantes de categorías sintácticas apropiadas (p. ej., "Abraham fue padre de Isaac).

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …   Enciclopedia Universal

  • proposicional — ► adjetivo LÓGICA De la proposición. * * * proposicional. adj. Perteneciente o relativo a las proposiciones de la lógica. □ V. cálculo proposicional. * * * (as used in expressions) actitud proposicional cálculo proposicional …   Enciclopedia Universal

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …   Wikipedia Español

  • Lenguaje proposicional — Este artículo o sección tiene una estructura no enciclopédica, más propia de libros avanzados de lógica, con terminología matemática muy técnica que no es compatible con un formato enciclopédico de uso general y difícil de entender para lectores… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Sobre la denotación — (en inglés On denoting), escrito por Bertrand Russell, es uno de los más significativos e influyentes ensayos filosóficos del siglo XX. Fue publicado en la revista Mind en 1905; luego reimpreso en esa misma revista en el aniversario de 2005 y en… …   Wikipedia Español

  • Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”